H ? « ‹ ← → › »

Language peer sets for Aquarius Prolog:
United States↑
United States/1989↑
Designed 1989 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Genus Horn clause ↑
String and List Processing ↑
Horn clause↑
Context-based ↑
Data representation ↑
Horn clause/1989↑
Context-based /1989↑
Data representation/1989↑
Horn clause/United States↑
Context-based /United States↑
Data representation/United States↑
String and List Processing ↑
String and List Processing/1989↑
String and List Processing/us ↑

Aquarius Prolog(ID:5494/aqu002)

High performance Prolog 

alternate simple view
Country: United States
Designed 1989
Genus: Horn clause
Sammet category: String and List Processing

High performance portable Prolog

Aquarius Project at UC Berkeley, the Advanced Computer Architecture Laboratory at the USC, and at DEC's Paris Research Laboratory.

Van Roy's thesis stated:

"A program written in Prolog can execute as efficiently as its imple­mentation in an imperative language. This relies on the development of four principles:
(1) An instruction set suitable for optimization.
(2) Techniques to exploit the determinism in programs.
(3) Techniques to specialize unification.
(4) A global dataflow analysis."


Used an "Extended Definite Clause Grammar" (EDCG) preprocessor

Related languages
Prolog → Aquarius Prolog   Implementation
References:
  • Van Roy, Peter (1989) Van Roy, Peter "A Useful Extension to Prolog's Definite Clause Grammar Notation" ps
          in [SIGPLAN] (1989) SIGPLAN Notices 24(11) November 1989
  • Van Roy, Peter (1990) Van Roy, Peter "Extended DCG Notation: A Tool for Applicative Programming in Prolog", Technical Report UCB/CSD 90/583, Computer Science Division, UC Berkeley, July 1990.
          in [SIGPLAN] (1989) SIGPLAN Notices 24(11) November 1989
  • Van Roy, Peter (1991) Van Roy, Peter "Can Logic Programming Execute as Fast as Imperative Programming?" PhD Dissertation at USC 1991 Online copy
          in [SIGPLAN] (1989) SIGPLAN Notices 24(11) November 1989
  • Van Roy, Peter; Despain, Alvin M. (1992) Van Roy, Peter; Despain, Alvin M. "High-Performance Logic Programming with the Aquarius Prolog Compiler" pp54-68
          in (1992) IEEE Computer 25(1) (1992)
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder